Lookahead wideningGOPAN, Denis; REPS, Thomas.Lecture notes in computer science. 2006, pp 452-466, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 15 p.Conference Paper

Widening Polyhedra with LandmarksSIMON, Axel; KING, Andy.Lecture notes in computer science. 2006, pp 166-182, issn 0302-9743, isbn 3-540-48937-1, 1Vol, 17 p.Conference Paper

Changement dans un système d'argumentation: suppression d'un argument = Change in an argumentation system: removing an argumentBISQUERT, Pierre; CAYROL, Claudette; DUPIN DE SAINT-CYR, Florence et al.Revue d'intelligence artificielle. 2012, Vol 26, Num 3, pp 225-253, issn 0992-499X, 29 p.Conference Paper

Addressing information Overload in the Scientific Community : INFORMATION OVERLOADBAEZ, Marcos; BIRUKOU, Aliaksandr; CASATI, Fabio et al.IEEE internet computing. 2010, Vol 14, Num 6, pp 31-38, issn 1089-7801, 8 p.Article

Narrowing Data-Structures with PointersECHAHED, Rachid; PELTIER, Nicolas.Lecture notes in computer science. 2006, pp 92-106, issn 0302-9743, isbn 3-540-38870-2, 1Vol, 15 p.Conference Paper

A proof of weak termination providing the right way to terminateFISSORE, Olivier; GNAEDIG, Isabelle; KIRCHNER, Hélène et al.Lecture notes in computer science. 2005, pp 356-371, issn 0302-9743, isbn 3-540-25304-1, 16 p.Conference Paper

Object categorization and the need for many-to-many matchingDICKINSON, Sven; SHOKOUFANDEH, Ali; KESELMAN, Yakov et al.Lecture notes in computer science. 2005, pp 501-510, issn 0302-9743, isbn 3-540-28703-5, 10 p.Conference Paper

A Review of Enterprise IT Integration MethodsCURL, Ana; FERTALJ, Kresimir.Information technology interfaces. 2009, pp 107-112, isbn 978-953-7138-15-8, 1Vol, 6 p.Conference Paper

The discourse self-adapting fuzzy controller for temperature control processing in disinfecting cupboardYU YONGQUAN; HUANG YING; ZENG BI et al.IEEE International Conference on Fuzzy Systems. 2004, isbn 0-7803-8353-2, 3Vol, vol 3, 1263-1267Conference Paper

Implementing natural rewriting and narrowing efficientlyESCOBAR, Santiago.Lecture notes in computer science. 2004, pp 147-162, issn 0302-9743, isbn 3-540-21402-X, 16 p.Conference Paper

Multimedia ontology matching by using visual and textual modalitiesTODOROV, Konstantin; JAMES, Nicolas; HUDELOT, Céline et al.Multimedia tools and applications. 2013, Vol 62, Num 2, pp 401-425, issn 1380-7501, 25 p.Article

Robust multigrid preconditioners for cell-centered finite volume discretization of the high-contrast diffusion equationAKSOYLU, Burak; YETER, Zuhal.Computing and visualization in science (Print). 2010, Vol 13, Num 5, pp 229-245, issn 1432-9360, 17 p.Article

Stages as Models of Scene GeometryNEDOVIC, Vladimir; SMEULDERS, Arnold W. M; REDERT, André et al.IEEE transactions on pattern analysis and machine intelligence. 2010, Vol 32, Num 9, pp 1673-1687, issn 0162-8828, 15 p.Article

Complete symbolic reachability analysis using back-and-forth narrowingTHATI, Prasanna; MESEGUER, José.Lecture notes in computer science. 2005, pp 379-394, issn 0302-9743, isbn 3-540-28620-9, 16 p.Conference Paper

Narrowing competency gaps to enable manufacturability of new mobile communication products - : A technical training methodologyNG, R. C. H.IEEE International Engineering Management Conference. 2004, isbn 0-7803-8519-5, 3Vol, Vol1, 363-366Conference Paper

Fuzzy set-oriented neural networks based on fuzzy polynomial inference and dynamic genetic optimizationPARK, Byoung-Jun; KIM, Wook-Dong; OH, Sung-Kwun et al.Knowledge and information systems (Print). 2014, Vol 39, Num 1, pp 207-240, issn 0219-1377, 34 p.Article

HTML Automatic Table LayoutMARRIOTT, Kim; MOULDER, Peter; HURST, Nathan et al.ACM transactions on the web. 2013, Vol 7, Num 1, issn 1559-1131, 4.1-4.27Article

Reliable monitoring system for arteriovenous ratio computationVAZQUEZ, S. G; BARREIRA, N; PENEDO, M. G et al.Computerized medical imaging and graphics. 2013, Vol 37, Num 5-6, pp 337-345, issn 0895-6111, 9 p.Article

Programmation d'un interpréteur abstrait certifié en logique constructive = Programming a certified abstract interpreter in constructive logicCACHERA, David; PICHARDIE, David.TSI. Technique et science informatiques. 2011, Vol 30, Num 4, pp 381-408, issn 0752-4072, 28 p.Article

Building bridges for Web query classificationDOU SHEN; SUN, Jian-Tao; QIANG YANG et al.International ACM SIGIR conference on research and development in information retrieval. 2006, pp 131-138, isbn 1-59593-369-7, 1Vol, 8 p.Conference Paper

A virtual machine for functional logic computationsANTOY, Sergio; HANUS, Michael; JIMENG LIU et al.Lecture notes in computer science. 2005, pp 108-125, issn 0302-9743, isbn 3-540-26094-3, 18 p.Conference Paper

An entropy-based multi-population genetic algorithm and its applicationLI, Chun-Lian; YU SUN; GUO, Yan-Shen et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28226-2, 2Vol, part I, 957-966Conference Paper

An adaptive GA based on information entropyYU SUN; LI, Chun-Lian; WANG, Ai-Guo et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 3, 93-101Conference Paper

Declarative constraint programming with definitional treesDEL VADO VIRSEDA, Rafael.Lecture notes in computer science. 2005, pp 184-199, issn 0302-9743, isbn 3-540-29051-6, 1Vol, 16 p.Conference Paper

Inexact subgraph isomorphism in MapReducePLANTENGA, Todd.Journal of parallel and distributed computing (Print). 2013, Vol 73, Num 2, pp 164-175, issn 0743-7315, 12 p.Article